#include "cnix/verno.h"
const char version[] = { VERNO " @debian, 2009-11-16 01:14:54" };
const char * version_time_2009_11_16_01_14_54 = "version_time_2009_11_16_01_14_54";
const char * version_time(void) { return version_time_2009_11_16_01_14_54; }
